echo $OSH_THEME
